home *** CD-ROM | disk | FTP | other *** search
Text File | 1997-08-18 | 360 b | 15 lines | [TEXT/R*ch] |
- exception E;
- fun f() = let exception E in raise E end;
- f() handle E => "WRONG: Top-level E is caught"
- | _ => "OK";
- val elist = [E, Size];
-
- exception E' = E;
- (raise E) handle E' => "OK";
- (raise E') handle E => "OK";
-
- exception G of int;
- (raise G 20) handle G 10 => "WRONG: G 10"
- | E => "WRONG: E"
- | G 20 => "OK";
-